Affiliated Researchers: Formal Methods

Affiliates are Penn Staters who have a connection to or an interest in the work of the Institute of Energy and the Environment.

Displaying 3 search result(s) for Formal Methods.

Yan Li


Assistant Professor, Electrical Engineering
Top research keywords: Microgrids, Energy Resources, Microgrid, DC-DC Converter, Wind Power

Guoray Cai


Associate Professor, College of Information Sciences and Technology
Top research keywords: Decision Making, Geographic Information Systems, Geographical Information System, Decision Theory, Information Systems

Peter Aeschbacher


Associate Professor, Landscape Architecture